French translation for "interactive proof system"

système de preuve interactive

Example Sentences:

	1.	There are a number of variants of IP which slightly modify the definition of the interactive proof system. Il existe un certain nombre de variantes d’IP qui modifient légèrement la définition du système de preuves interactives.
	2.	Lund, Carsten; Fortnow, Lance; Karloff, Howard J.; Nisan, Noam (1990), "Algebraic Methods for Interactive Proof Systems", Proc. Carsten Lund, Lance Fortnow, Howard J. Karloff et link=Noam Nisan, « Algebraic Methods for Interactive Proof Systems », Proc.
	3.	The first two of these are properties of more general interactive proof systems. Les deux premières propriétés sont les mêmes qui servent à définir un système de preuve interactive, qui est un concept plus général.
	4.	The concept of an interactive proof system was first introduced by Shafi Goldwasser, Silvio Micali, and Charles Rackoff in 1985. Le concept de système de preuve interactive a été introduit pour la premièrère fois en 1985 par Shafi Goldwasser, Silvio Micali et Charles Rackoff,.
	5.	S. Goldwasser, S. Micali and C. Rackoff, "The knowledge complexity of interactive proof systems", SIAM Journal on Computing, 18, 1989, pp. 186–208. Shafi Goldwasser, Silvio Micali et Charles Rackoff, « The Knowledge Complexity of Interactive Proof Systems », SIAM Journal on Computing, vol. 18, n° 1, 1989, pp. 186-208.
	6.	In 1988, Goldwasser et al. created an even more powerful interactive proof system based on IP called MIP in which there are two independent provers. En 1988, Goldwasser et al. ont créé un système de preuves interactives encore plus puissant basé sur IP et appelé MIP, pour lequel il y a deux prouveurs indépendants.
	7.	Rackoff was awarded the 1993 Gödel Prize for his work on interactive proof systems and for being one of the co-inventors of zero-knowledge proofs. Le prix Gödel est décerné en 1993 à Rackoff pour son travail sur les systèmes de preuve interactive et pour l'invention, en collaboration, du concept de preuve ZK ou preuve à divulgation nulle de connaissance.
	8.	In computational complexity theory, an Arthur–Merlin protocol is an interactive proof system in which the verifier's coin tosses are constrained to be public (i.e. known to the prover too). En théorie de la complexité, un protocole Arthur-Merlin est un système de preuve interactive dans lequel on impose que les lancers de pièces du vérificateur soient publics (c'est-à-dire également connus du démonstrateur).
	9.	His notable accomplishments include the introduction of interactive proof systems, the introduction of the term Las Vegas algorithm, and the introduction of group theoretic methods in graph isomorphism testing. Il est connu pour les systèmes de preuve interactive, l'introduction du terme « algorithme de Las Vegas » et l'utilisation de méthodes de la théorie des groupes pour le problème de l'isomorphisme de graphes.
	10.	In computational complexity theory, the class IP (which stands for Interactive Polynomial time) is the class of problems solvable by an interactive proof system. En informatique théorique, et notamment en théorie de la complexité, la classe IP (une abréviation pour Interactive Polynomial time, c'est-à-dire « interactif en temps polynomial ») est la classe des problèmes de décision qui peuvent être résolus par un système de preuve interactive.

Similar Words：

"interactive marketing" French translation, "interactive media" French translation, "interactive movie video games" French translation, "interactive multimedia association" French translation, "interactive program" French translation, "interactive ruby shell" French translation, "interactive systems corporation" French translation, "interactive television" French translation, "interactive television entertainment" French translation